reduced system of residues

既约剩余系